Keynote: Zero-Knowledge Proofs For Constructing Protocols - Jan Camenisch